COMMENT ⊗   VALID 00003 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.DEVICE XGP
C00010 00003	.IF NOT IJCAI THEN START
C00013 ENDMK
C⊗;
.DEVICE XGP
.<<FONT 1 "BASL30">>
.FONT 1 "NGR30"
.FONT 2 "BASI30"
.FONT 3 "NGB25"
.FONT 4 "CLAR30"
.FONT 5 "SAIL25"
.FONT 8 "GRFX25"
.FONT 9 "NGB30"
.TURN ON "⊗" FOR "%"
.TURN ON "{α"
.<<AT "ffi" ⊂ IF THISFONT ≤ 2 THEN "≠"  ELSE "fαfαi" ⊃;
.AT "ffl" ⊂ IF THISFONT ≤ 2 THEN "α∞" ELSE "fαfαl" ⊃;
.AT "ff"  ⊂ IF THISFONT ≤ 2 THEN "≥"  ELSE "fαf" ⊃;
.AT "fi"  ⊂ IF THISFONT ≤ 2 THEN "α≡" ELSE "fαi" ⊃;
.AT "fl"  ⊂ IF THISFONT ≤ 2 THEN "∨"  ELSE "fαl" ⊃;
.>>

.IJCAI ← TRUE
.COMPACTING ← FALSE

.IF IJCAI THEN START
.   ODDLEFTBORDER←EVENLEFTBORDER←6
.   !XGPCOMMANDS←"/TMAR=100/PMAR=0/BMAR=100"
.   PAGE FRAME 400 HIGH 60 WIDE
.   AREA TEXT LINES 4 TO 400
.   TITLE AREA HEADING LINES 1 TO 2
.END ELSE START
.   ODDLEFTBORDER←EVENLEFTBORDER←750
.   PAGE FRAME 55 HIGH 88 WIDE
.   TITLE AREA HEADING LINES 1 TO 2
.   AREA TEXT LINES 3 TO 55
.END

.PLACE TEXT

.IF IJCAI THEN START
.SPAC←0
.MACRO SPACM ⊂ SPACING 0 MILLS
.⊃
.MACRO PREFSPAC ⊂ PREFACE 0 MILLS
.⊃
.END ELSE START
.SPAC←1
.MACRO SPACM ⊂ SPACING SPAC
.⊃
.MACRO PREFSPAC ⊂ PREFACE SPAC
.⊃
.END

.IF IJCAI THEN START
.PREF←1
.MACRO PREFM ⊂ PREFACE 60 MILLS
.⊃
.MACRO PREM ⊂ PREFACE 60 MILLS
.⊃
.END ELSE START
.PREF←2
.MACRO PREFM ⊂ PREFACE PREF
.⊃
.MACRO PREM ⊂ PREFACE PREF
.⊃
.END

.MACRO MAJOR (ENTRY) ⊂
.IF COMPACTING AND LINES>5 THEN GROUP SKIP 2 ELSE SKIP TO COLUMN 1
.SELECT 4
.ONCE CENTER
ENTRY
.IF NOT IJCAI THEN SEND CONTENTS ⊂
\ENTRY\{PAGE}
.⊃
.SELECT 1
.⊃

.MACRO MINOR (ENTRY) ⊂
.IF COMPACTING AND LINES>3 THEN GROUP SKIP 1 ELSE SKIP TO COLUMN 1
.SELECT 4
.ONCE FLUSH LEFT
ENTRY
.IF NOT IJCAI THEN SEND CONTENTS ⊂
\ENTRY\{PAGE}
.⊃
.SELECT 1
.⊃

.GROUP SKIP 5
.BEGIN NOFILL; CENTER; PREFACE 90 MILLS
.SELECT 4
AN OVERVIEW OF AL,
A PROGRAMMING SYSTEM FOR AUTOMATION
.SELECT 4
.PREFSPAC
.ONCE PREFM
Raphael Finkel,Russell Taylor,Robert Bolles,Richard Paul*,Jerome Feldman*
Stanford Artificial Intelligence Laboratory
Stanford, California  USA

* Richard Paul is now at the Stanford Research Institute.  Jerome Feldman
is now at the Univeristy of Rochester.
.GROUP SKIP 2
.SELECT 3
{DATE}
.IF IJCAI THEN START
.   NEXT PAGE
.   PAGE FRAME 400 HIGH 50 WIDE
.   TITLE AREA HEADING LINES 1 TO 2
.   AREA TEXT LINES 4 TO 400
.   PLACE TEXT
.   MAJOR(ABSTRACT)
.END ELSE START
.   GROUP SKIP 4
.   ONCE CENTER
.   SELECT 4
Abstract
.END
.FILL; PREFM; SPACM; SELECT 1
AL is an high-level programming system for specification of manipulatory tasks
such as assembly of an object from parts.
AL includes an ALGOL-like source language,
a translator for converting programs into runnable code, and a runtime system
for controlling manipulators and other devices.  The system includes
advanced features for describing the motions of manipulators, for using
sensory information, and for describing assembly algorithms in terms
of common domain-specific primitives.  This paper describes the design
of AL, which is currently being implemented as a successor to the Stanford WAVE
system.
.END
.IF IJCAI THEN NEXT PAGE

.IF IJCAI THEN
.   EVERY HEADING (,,⊗2FINKEL et al⊗*: page {PAGE})
.ELSE
.   EVERY HEADING (⊗2FINKEL et al⊗*,IJCAI:{DATE},page {PAGE})


.FILL; SPACM; PREFM; INDENT 3,0,0

.AT "###" CODE "|" GROUPNAME "|" ⊂
.RULECODE ← "CODE"
.RULENUMBER ← 0
.MINOR The Rule system for GROUPNAME
.SELECT 1
.⊃

.AT "#n#" CODE "|" PRE "|" KEY "|" POST "|" ⊂
.RULENUMBER ← RULENUMBER + 1
.RULENGLISH ← (IF "PRE"=NULL THEN NULL ELSE "PRE" & " ") & "KEY" &
.             (IF "POST"=NULL THEN NULL ELSE " " & "POST")
.SAVECODE ← CODE ← RULECODE & RULENUMBER;
.IF NOT COMPACTING THEN GROUP
.⊃

.MACRO RULE1 ⊂
.FILL; PREFM; SPACM; INDENT 2,2,2
.⊃
.MACRO RULE2 ⊂
.FILL; INDENT 4,2,2; PREFSPAC; SPACM; TABBREAK
.⊃

.AT "#t#" ENGLISH "|" ⊂
.BEGIN
.RULE1
⊗3{SAVECODE}:⊗* In order
to {RULENGLISH}{(IF "ENGLISH"=":" THEN NULL ELSE ", ")}ENGLISH
.END
.BEGIN
.RULE2
.⊃

.AT "#r#" ENGLISH "|" ⊂
.BEGIN RULE1
⊗3{SAVECODE}:⊗* In order
to {RULENGLISH}{(IF "ENGLISH"=":" THEN NULL ELSE ", ")}ENGLISH
.END
.PBEGIN
.IF IJCAI THEN INDENT 4 ELSE INDENT 10
.⊃

.MACRO REND ⊂
.END
.IF NOT COMPACTING THEN APART
.⊃
 
.MACRO PBEGIN ⊂
.BEGIN NOFILL; PREFSPAC; TABSPACE; INDENT 5,0; SELECT 5
.⊃

.MACRO PEND ⊂
.END
.⊃

.MACRO GRFX ⊂
.GROUP
.BEGIN NOFILL; PREFACE 0 MILLS; INDENT 0,0,0
.TURN OFF "α"
.SELECT 8
.⊃

.MACRO GEND ⊂
.END
.APART
.⊃
.IF NOT IJCAI THEN START
.insert contents
.portion body
.END
.AT PAGEMARK ⊂BREAK
.⊃
.REQUIRE "INTRO2.TXT" SOURCE_FILE
.MAJOR ACKNOWLEDGEMENTS
The authors gratefully acknowledge the diligence with which Avra Cohn
read the drafts of this paper,
and the generosity with which the Artificial Intelligence Center of the
Stanford Research Institute provided machine
time for the research upon which this paper is based.
.MAJOR REFERENCES
.BEGIN INDENT 0,3
⊗3[1]⊗* Green, Cordell, and Barstow, David. ⊗9Toward a Knowledge Base for a
Program-Understanding System⊗*, presented at the NATO ASI on Machine Representations
of Knowledge, Santa Cruz, California, July 1975.  [also available as Stanford AI
Memo: AIM-258, STAN-CS-75-476, Stanford, California, January 1975, under the title
⊗9A Hypothetical Dialogue Exhibiting a Knowledge Base for a
Program-Understanding System⊗*]
.END
.IF NOT IJCAI THEN START
.PORTION CONTENTS
.CENTER
.SELECT 4
.GROUP SKIP 3
Table of Contents
.BEGIN NOFILL; PREFACE 1
.TABS 10,60
.TURN ON "\"
.GROUP SKIP 3
\SECTION\PAGE
.GROUP SKIP 2
.RECEIVE
.GROUP SKIP 5
.END
.END